Devising direct regular algorithms of computational potential theory with collocation points inside the solution domain

Numerical Solution of Volterra-Fredholm Integral Equations with The Help of Inverse and Direct Discrete Fuzzy Transforms and Collocation Technique

the analysis of the role of the speech acts theory in translating and dubbing hollywood films

از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...

collocation errors in translations of the holy quran

the present study aims at identifying, classifying and analyzing collocation errors made by translators of the holy quran into english.findings indicated that collocationally the most acceptablt translation was done by ivring but the least appropriate one made by pickthall.

Numerical Solution of Optimal Control Problems by Direct Collocation

By an appropriate discretization of control and state variables, a constrained optimal control problem is transformed into a finite dimensional nonlinear program which can be solved by standard SQP-methods [10]. Convergence properties of the discretization are derived. From a solution of this method known as direct collocation, these properties are used to obtain reliable estimates of adjoint v...

On the Proof Theory of Regular Fixed Points

We consider encoding finite automata as least fixed points in a prooftheoretical framework equipped with a general induction scheme, and study automata inclusion in that setting. We provide a coinductive characterization of inclusion that yields a natural bridge to proof-theory. This leads us to generalize these observations to regular formulas, obtaining new insights about inductive theorem pr...